/**
Permite activar comandos a partir del botón enter
*/
function keypressed(e){
                if(e.keyCode==13){
			updateStack(document.getElementById("tray").value);
			document.getElementById("tray").value="0:";	
		}
}
